Key agreement and transport protocol

ABSTRACT

A key establishment protocol includes the generation of a value of cryptographic function, typically a hash, of a session key and public information. This value is transferred between correspondents together with the information necessary to generate the session key. Provided the session key has not been compromised, the value of the cryptographic function will be the same at each of the correspondents. The value of the cryptographic function cannot be compromised or modified without access to the session key.

[0001] This application is a continuation-in-part of U.S. application Ser. No. 98/426,090.

[0002] The present invention relates to key agreement protocols for transfer and authentication of encryption keys.

[0003] To retain privacy during the exchange of information it is well known to encrypt data using a key. The key must be chosen so that the correspondents are able to encrypt and decrypt messages but such that an interceptor cannot determine the contents of the message.

[0004] In a secret key cryptographic protocol, the correspondents share a common key that is secret to them. This requires the key to be agreed upon between the correspondents and for provision to be made to maintain the secrecy of the key and provide for change of the key should the underlying security be compromised.

[0005] Public key cryptographic protocols were first proposed in 1976 by is Diffie-Hellman and utilized a public key made available to all potential correspondents and a private key known only to the intended recipient. The public and private keys are related such that a message encrypted with the public key of a recipient can be readily decrypted with the private key but the private key cannot be derived from the knowledge of the plaintext, ciphertext and public key.

[0006] Key establishment is the process by which two (or more) parties establish a shared secret key, called the session key. The session key is subsequently used to achieve some cryptographic goal, such as privacy. There are two kinds of key agreement protocol; key transport protocols in which a key is created by one party and securely transmitted to the second party; and key agreement protocols, in which both parties contribute information which jointly establish the shared secret key. The number of message exchanges required between the parties is called the number of passes. A key establishment protocol is said to provide implicit key authentication (or simply key authentication) if one party is assured that no other party aside from a specially identified second party may learn the value of the session key. The property of implicit key authentication does not necessarily mean that the second party actually possesses the session key. A key establishment protocol is said to provide key confirmation if one party is assured that a specially identified second party actually has possession of a particular session key. If the authentication is provided to both parties involved in the protocol, then the key authentication is said to be mutual if provided to only one party, the authentication is said to be unilateral.

[0007] There are various prior proposals which claim to provide implicit key authentication.

[0008] Examples include the Nyberg-Rueppel one-pass protocol and the Matsumoto-Takashima-Imai (MTI) and the Goss and Yacobi two-pass protocols for key agreement.

[0009] The prior proposals ensure that transmissions between correspondents to establish a common key are secure and that an interloper cannot retrieve the session key and decrypt the ciphertext. In this way security for sensitive transactions such as transfer of funds is provided.

[0010] For example, the MTI/AO key agreement protocol establishes a shared secret K, known to the two correspondents, in the following manner:

[0011] 1. During initial, one-time setup, key generation and publication is undertaken by selecting and publishing an appropriate system prime p and generator in a manner guaranteeing authenticity. Correspondent A selects as a long-term private key a random integer “a”1≦a≦p−2, and computes a long-term public key z_(A)=α^(a) mod p. B generates analogous keys b, z_(B). A and B have access to authenticated copies of each other's long-term public key.

[0012] 2. The protocol requires the exchange of the following messages.

A→B:α ^(x) mod p  (1)

A→B:α ^(y) mod p  (2)

[0013] The values of x and y remain secure during such transmissions as it is impractical to determine the exponent even when the value of a and the exponentiation is known provided of course that p is chosen sufficiently large.

[0014] 3. To implement the protocol the following steps are performed each time a shared key is required.

[0015] (a) A chooses a random integer x,1≦x≦p−2, and sends B message (1) i.e. α^(x) mod p.

[0016] (b) B chooses a random integer y,1≦y≦p−2, and sends A message (2) i.e. α^(y) mod p.

[0017] (c) A computes the key K=(α^(y))^(a)z_(B) ^(x) mod p.

[0018] (d) B computes the key K=(α^(x))^(b)x_(A) ^(y) mod p.

[0019] (e) Both share the key K−α^(bx+ay)

[0020] In order to compute the key K, A must use his secret key a and the random integer x, both of which are known only to him. Similarly B must use her secret key b and random integer y to compute the session key L Provided the secret keys a,b remain uncompromised, an interloper cannot generate a session key identical to the other correspondent. Accordingly, any ciphertext will not be decipherable by both correspondents.

[0021] As such this and related protocols have been considered satisfactory for key establishment and resistant to conventional eavesdropping or man-in-the-middle attacks.

[0022] In some circumstances it may be advantageous for an adversary to mislead one correspondent as to the true identity of the other correspondent.

[0023] In such an attack an active adversary or interloper E modifies messages exchanged between A and B, with the result that B believes that he shares a key K with E while A believes that she shares the same key K with B. Even though E does not learn the value of K the misinformation as to the identity of the correspondents may be useful.

[0024] A practical scenario where such an attack may be launched successfully is the following. Suppose that B is a bank branch and A is an account holder. Certificates are issued by the bank headquarters and within the certificate is the account information of the holder. Suppose that the protocol for electronic deposit of funds is to exchange a key with a bank branch via a mutually authenticated key agreement. Once B has authenticated the transmitting entity, encrypted funds are deposited to the account number in the certificate. If no further authentication is done in the encrypted deposit message (which might be the case to save bandwidth) then the deposit will be made to E's account.

[0025] It is therefore an object of the present invention to provide a protocol in which the above disadvantages are obviated or mitigated.

[0026] According therefore to the present invention there is provided a method of authenticating a pair of correspondents A,B to permit exchange of information therebetween, each of said correspondents having a respective private key a,b and a public key p_(A),p_(B) derived from a generator cc and respective ones of said private keys a,b, said method including the steps of

[0027] i) a first of said correspondents A selecting a first random integer x and exponentiating a function f(α) including said generator to a power g^((x)) to provide a first exponentiated function f(α)^(g(x));

[0028] ii) said first correspondent A forwarding to a second correspondent B a message including said first exponentiated function f(α)^(g(x));

[0029] iii) said correspondent B selecting a second random integer y and exponentiating a function f(α) including said generator to a power g^((y)) to provide a second exponentiated function f(α)^(g(y));

[0030] iv) said second correspondent B constructing a session key K from information made public by said first correspondent A and information that is private to said second correspondent B. said session key also being constructible by said first correspondent A for information made public by B and information that is private to said first correspondent A;

[0031] v) said second correspondent B generating a value h of a function F[δ,K] where F[δ,K] denotes a cryptographic function applied conjointly to δ and K and where δ is a subset of the public information provided by B thereby to bind the values of δ and K;

[0032] vi) said second of said correspondents B forwarding a message to said first correspondent A including said second exponential function f(α)^(g(y)) and said value h of said cryptographic function F[δ,K];

[0033] vii) said first correspondent receiving said message and computing a session key K′ from information made public by said second correspondent B and private to said first correspondent A;

[0034] viii) said first correspondent A computing a value h′ of a cryptographic function h,h′F[δ,K′]; and

[0035] ix) comparing said values obtained from said cryptographic functions F to confirm their correspondence.

[0036] As the session key K can only be generated using information that is private to either A or B, the binding of K with δ with the cryptographic function h prevents E from extracting K or interjecting a new value function that will correspond to that obtained by A.

[0037] Embodiments of the invention will now be described by way of example only with reference to the accompanying drawings in which.

[0038]FIG. 1 is a schematic representation of a data communication system.

[0039]FIGS. 2 through 7 are schematic representations of implementations of different protocols.

[0040] Referring therefore to FIG. 1, a pair of correspondents, 10,12, denoted as correspondent A and correspondent B, exchange information over a communication channel 14. A cryptographic unit 16,18 is interposed between each of the correspondents 10,12 and the channel 14. A key 20 is associated with each of the cryptographic units 16,18 to convert plaintext carried between each unit 16,18 and its respective correspondent 10,12 into ciphertext carried on the channel 14.

[0041] In operation, a message generated by correspondent A, 10, is encrypted by the unit 16 with the key 20 and transmitted as ciphertext over channel 14 to the unit 18.

[0042] The key 20 operates upon the ciphertext in the unit 18 to generate a plaintext message for the correspondent B, 12. Provided the keys 20 correspond, the message received by the correspondent 12 will be that sent by the correspondent 10.

[0043] In order for the system shown in FIG. 1 to operate it is necessary for the keys 20 to be identical and therefore a key agreement protocol is established that allows the transfer of information in a public manner to establish the identical keys. A number of protocols are available for such key generation and embodiments of the present invention will be described below in the context of modifications of existing protocols.

[0044] A commonly used set of protocols are collectively known as the Matsumoto-Takashima-Imai or “MTI” key agreement protocols, and are variants of the Diffie-Hellman key exchange. Their purpose is for parties A and B to establish a secret session key K.

[0045] The system parameters for these protocols are a prime number p and a generator a of the multiplicative group

[0046] Correspondent A has private key a and public key p_(A)=α^(a). Correspondent B has private key b and public key p_(B)=α^(b). In all four protocols exemplified below, text_(A) refers to a string of information that identifies party A. If the other correspondent B possesses an authentic copy of correspondent A's public key, then text_(A) will contain A's public-key certificate, issued by a trusted center; correspondent B can use his authentic copy of the trusted center's public key to verify correspondent A's certificate, hence obtaining an authentic copy of correspondent A's public key.

[0047] In each example below it is assumed that an interloper E wishes to have messages from A identified as having originated from E herself To accomplish this, E selects a random integer e, 1≦e≦p−2, computes p_(E)=(p_(A))^(c=α) ^(ae) mod p, and gets this certified as her public key. E does not know the exponent ae, although she knows e. By substituting text_(E) for text_(A), the correspondent B will assume that the message originates from E rather than A and use E's public key to generate the session key K. E also intercepts the message from B and uses his secret random integer e to modify its contents. A will then use that information to generate the same session key allowing A to communicate with B.

[0048] The present invention is exemplified by modifications to 4 of the family of MTI protocols which foil this new attack thereby achieving the desired property of mutual implicit authentication. In the modified protocols exemplified below F(X,Y) denotes a cryptographic function applied to a string derived from x and y. Typically and as exemplified a hash function, such as the NIST “Secure Hash Algorithm” (SHA-1), is applied to the string obtained by concatenating X and Y but it ill be understood that other cryptographic functions may be used.

EXAMPLE 1 MTI/A0 protocol

[0049] The existing protocol operates as follows:

[0050] 1. Correspondent A generates a random integer x,1≦x≦p−2, computes α^(x), and sends {α^(x),text_(A)} to party B.

[0051] 2. Correspondent B generates a random integer y, 1≦y≦p−2, computes α^(y), and sends {α^(y),text_(B)} to party A.

[0052] 3. Correspondent A computes K=(α^(y))^(a)(p_(B))^(x)=α^(ay+bx).

[0053] 4. Correspondent B computes K=(a^(x))^(b)(p_(A))^(y)=α^(ay+bx).

[0054] A common key K is thus obtained. However, with this arrangement, interloper E may have messages generated by correspondent A identified as having originated from E in the following manner.

[0055] 1. E intercepts A's message {α^(x),text_(A)} and replaces it with {α^(x),text_(E)}. The provision of the message text_(E) identifies the message as having originated at E.

[0056] 2. B sends {α^(y),text_(B)} to E, who then forwards {(α^(y))^(e),text_(B)} to A. Since A receives text_(B), he assumes the message originates at B and, as he does not know the value of y, assumes that α^(yc) is valid information.

[0057] 3. A computes K=(α^(cy))^(a)(p_(B))^(x)=α^(acyαbx).

[0058] 4. B computes K=(α^(x))^(b)(p_(E))^(y)=α^(acyαbx).

[0059] 5. A and B now share the key K, even though B believes he shares a key with E.

[0060] Accordingly any further transactions from A to B will be considered by B to have originated at E. B will act accordingly crediting instruction to E. Even though the interloper E does not learn the value of the session key K nevertheless the assumption that the message originates at E may be valuable and achieve the desired effect.

[0061] To avoid this problem, the protocol is modified as follows:

[0062] 1. A generates a random integer x,1≦x≦p−2, computes α^(x), and sends {α^(x),text_(A)} to party B.

[0063] 2. B generates a random integer y,1≦y≦p−2, and computes α^(y), K=(α^(x))^(b)(p_(A))^(y)=α^(ay+bx), and a value h of cryptographic hash function F(α^(y),α^(ay+bx)) which is a function of public information δ and the key K. B sends {α^(y)h,text_(B)} to party A.

[0064] 3. A computes K=(α^(y))^(a)(p_(B))^(x)=α^(ay+bx). A also computes a value h′ of cryptographic hash function F(α^(y),K) and verifies that this value is equal to h.

[0065] If E attempts to interpose her identification, text_(E), the attack fails on the modified protocols because in each case B sends the hash value F(δ,K), where 6 is B's random exponential, α^(y), thereby binding together the values of δ and K. E cannot subsequently replace the value of δ with δ^(e) and compute F(δ^(e),K) since E does not know K. Even though E knows α^(y), this is not sufficient to extract K from the hash value h. Accordingly, even if E interposes the value α^(ye) so that the keys 20 will agree, the values h,h′ will not.

EXAMPLE 2 MTI/B0 protocol

[0066] In this protocol,

[0067] 1. A generates a random integer x,1≦x≦p−2, computes (p_(B))^(x)=a^(bx), and sends {α^(bx),text_(A)} to party B.

[0068] 2. B generates a random integer y,1≦y≦p−2, computes (p_(A))^(y)=α^(ay), and sends {α^(ay),text_(B)} to party A.

[0069] 3. A computes K=(α^(ay))^(a) ⁻¹ α^(x)=α^(x+y)

[0070] 4. B computes K=(α^(bx))^(b) ⁻¹ α^(y)=α^(x+y)

[0071] This protocol is vulnerable to the interloper E if,

[0072] 1. E replaces A's message {a^(bx),text_(A)} with {α^(bx),text_(E)} to identify herself as the originator to the message.

[0073] 2. B sends {(p_(E))^(y),text_(B)} to E, who then computes ((P_(E))^(y))^(e) ⁻¹ =α^(ay) and forwards {α^(ay),text_(B)} to A.

[0074] 3. A computes K=(α^(ay))^(a) ⁻¹ α^(x)=α^(x+y)

[0075] 4. B computes K=(α^(bx))^(b) ⁻¹ α^(y)=α^(x+y)

[0076] 5. A and B now share the key K, even though B believes he shares a key s with E.

[0077] This protocol may be modified to resist E's attack as follows.

[0078] 1. A generates a random integer x,1≦x≦p−2, computes (p_(B))^(x)=α^(bx), and sends {α^(bx),text_(A)} to party B.

[0079] 2. B generates a random integer y,1≦x≦p−2, and computes (p_(A))^(y)=α^(ay), K=(α^(bx))α^(y)=α^(x+y), and the value h of hash function F(α^(y)=α^(x+y)). B sends {α^(ay),h,text_(B)} to A.

[0080] 3. A computes K=(α^(ay))α^(x)=α^(x+y). A also computes the value h′ of hash function F (α^(ay), K) and verifies that this value is equal to h.

[0081] Once again, E cannot determine the session key K and so cannot generate a new value of the hash function to maintain the deception.

EXAMPLE 3 MTI/CO protocol

[0082] This protocol operates as follows:

[0083] 1. A generates a random integer x,1≦x≦p−2, computes (p_(B))^(x)=α^(bx) and sends {(α^(bx),text_(A)} to party B.

[0084] 2. B generates a random integer y,1≦y≦p−2, computes (p_(A))^(y)=α^(ay), and sends {α^(ay),text_(B)} to party A.

[0085] 3. A computes K=(α^(ay))^(a) ⁻¹ ^(x)=α^(xy)

[0086] 4. B computes K=(α^(bx))^(b) ⁻¹ ^(y)=α^(xy)

[0087] The interloper E may interpose her identity as follows:

[0088] 1. E replaces A's message {a^(bx),text_(A)} with {α^(bx),text_(E)}.

[0089] 2. B sends {(p_(E))^(y),text_(B)} to E, who then computes ((p_(E))^(y))^(e−1)=α^(ay) and forwards {α^(ay),text_(B)} to A.

[0090] 3. A computes K=(α^(ay))^(a) ⁻¹ ^(x)=α^(xy)

[0091] 4. B computes K=(α^(bx))^(b) ⁻¹ ^(y)=α^(xy)

[0092] 5. A and B now share the key K, even though B believes he shares a key with E.

[0093] To avoid this attack protocol is modified as follows:

[0094] 1. A generates a random integer x,1≦x≦p−2, computes (p_(B))^(x)=α^(bx), and sends {α^(bx),text_(A)} to party B.

[0095] 2. B generates a random integer y,1≦y≦p−2, and computes (p_(A))^(y)=α^(ay), K=(α^(bx))^(b) ⁻¹ ^(y)=α^(xy), and value

[0096]  h of hash function F(α^(ay),α^(xy)). B sends {α^(ay)h,text_(B)} to party A.

[0097] 3. A computes K=(α^(ay))^(a) ⁻¹ ^(x)=α^(xy). A also computes the value h′ of F(α^(ay),K) and verifies that this value is equal to h.

EXAMPLE 4 MTVC1 Protocol

[0098] In this protocol:

[0099] 1. A generates a random integer x,1≦z≦p−2, computes (p_(B))^(ax)=α_(abx), and sends {α^(abx),text_(A)} to party B.

[0100] 2. B generates a random integer y,1≦y≦p−2, computes (p_(A))^(by)=α^(aby) and sends {α^(aby),text_(B)} to party A.

[0101] 3. A computes K=(α^(aby))^(x)=α^(abxy).

[0102] 4. B computes K=(α^(abx))^(y)=α^(abxy).

[0103] E can act as an interloper as follows:

[0104] 1. E replaces A's message {α^(abx), text_(A)} with {α^(abx),text_(E)}.

[0105] 2. B sends {(p_(E))^(by),text_(B)} to E, who then computes ((p_(E))^(by))^(c−1)=α^(aby) and forwards {α^(aby),text_(B)} to A.

[0106] 3. A computes K=(α^(aby))^(x)=α^(abxy).

[0107] 4. B computes K=(α^(abx))^(y)=α^(abxy).

[0108] 5. A and B now share the key K, even though B believes he shares a key with E.

[0109] To avoid this, the protocol is modified as follows:

[0110] 1. A generates a random integer x,1≦x≦p−2, computes (p_(B))^(ax)=α^(abx), and sends {α^(abx),text_(A)} to party B.

[0111] 2. B generates a random integer y,1≦y≦p−2, and computes (p_(A))^(by)=α^(aby), K=(α^(abx))^(y)=α^(abxy), and h=F(α^(aby),α^(abxy)). B sends {α^(aby),h,text_(B)} to party A.

[0112] 3. A computes K=(α^(aby))^(x)=α^(bxy). A also computes h′=F(α^(aby,K)) and verifies that this value is equal to h.

[0113] In each of the modified protocols discussed above, key confirmation from B to A is provided.

[0114] As noted above instead of F being a cryptographic hash function other functions could be used. For example, an option available is to choose F=_(εK),where ε is the encryption function of a suitable syrrmetric-key encryption scheme, and K is the session key established. Because E cannot generate the session key K, it is similarly not able to generate the value of the function F and therefore cannot interpose for the correspondent A.

[0115] The technique described above can be applied to other similar key exchange protocols, including all of the 3 infinite classes of MTI protocols called MTI-A(k), MTI-B(k) and MTI-C(k).

[0116] The Goss authenticated key exchange protocol is similar to the MTI/A0 protocol, except that the session key is the bitwise exclusive-OR of α^(ay) and α^(bx); that is K=α^(ay)⊕α^(bx) instead of being the product of α^(ay) and α^(bx). Hence the attack on the MTI/A0 protocol and its modification can be extended in a straightforward mariner to the case of the Goss protocol.

[0117] Similarly Yacobi's authenticated key exchange protocol is exactly the same as the MTI/A0 protocol, except that a is an element of the group of units,

[0118] where n is the product of 2 large primes. Again, the attack on the MTI/A0 protocol and its modification can be extended in a straightforward manner to the case of the Goss protocol.

[0119] A further way of foiling the interposition of E is to require that each entity prove to a trusted center that it knows the exponent of a that produces its public key P, before the center issues a certificate for the public key. Because E only knows “e” and not “ae” it would not meet this requirement. This can be achieved through zero knowledge techniques to protect the secrecy of the private keys but also requires the availability of a trusted centre which may not be convenient.

[0120] Each of the above examples has been described with a 2 pass protocol for key authentication. One pass protocols also exist to establish a key between correspondents and may be similarly vulnerable.

[0121] As an example the Nyberg-Rueppel one pass key agreement protocol will be described and a modification proposed.

[0122] The purpose of this protocol is for party A and party B to agree upon a secret session key K.

[0123] The system parameters for these protocols are a prime number p and a generator ca of the multiplicative group αεZ*_(p). User A has private key a and public key p_(A)=α^(a). User B has private key b and public key p_(B)=α^(b).

[0124] 1. A selects random integers x and t, 1≦x,t≦p−2.

[0125] 2. B recovers the value α^(x) mod p by computing α^(δ) (p_(A))_(r) mod p and then computes the shared session key K=(rα_(x))^(b) ⁻¹ =α^(l) mod p.

[0126] If interloper E wishes to have messages from A identified as having originated from herself, E selects a random integer e, 1≦e≦p−2, computes p_(E)=α^(e), and gets this certified as her public key.

[0127] 1. E intercepts A's message {r,s,text_(A)} and computes α^(x)=α^(δ)(p_(A))^(r) and α^(bt)=rα^(x).

[0128] 2. E then selects a random integer x′, 1≦x′≦p−2, computes r′=α_(bt)α^(−x′)mod p and s′=x′−r′e mod (p−1).

[0129] 3. E sends {r′,s′,text_(E)} to B.

[0130] 4. B recovers the value mod p by computing αδ′(p_(E))r′ mod p and then computes K=(r′α^(x′))^(b) ⁻¹ =α¹ mod p.

[0131] 5. A and B now share the key K, even though B believes he shares a key with E.

[0132] To foil such an attack the protocol is modified by requiring A to also transmit a value h of F(p_(A),K), where F is a hash function, an encryption function of a symmetric-key system with key K or other suitable cryptographic function. The modified protocol is the following.

[0133] 1. A selects random integers x and t, 1≦x,t≦p−2.

[0134] 2. A computes r=(p_(B))^(t)α^(−x), mod p, s=x−ra mod (p−1), session key K=α¹ mod p and the value h of hash function F(p_(A),K). A sends {r,s,h,text_(A)} to B.

[0135] 3. B recovers the value α^(x) mod p by computing α^(s)(p_(A))^(r) mod p and then computes the shared session key K(rα^(x))^(b) ⁻¹ =α¹ mod p. B also computes the value h′ of function F(p_(A),K) and verifies that this value is equal to h.

[0136] Again therefore by binding together the public information π and the session key K in the hash function, the interposition of E will not result in identical hash functions h,h′.

[0137] In each case it can be seen that a relatively simple modification to the protocols involving the binding of public and private information in a cryptographic function foils the interposition of interloper E.

[0138] All the protocols discussed above have been described in the setting of the multiplicative group αε^(T)Z*_(p). However, they can all be easily modified to work in any finite group in which the discrete logarithm problem appears intractable. Suitable choices include the multiplicative group of a finite field (in particular the finite field GF(2^(n)), subgroups of as αεZ*_(p); of order q, and the group of points on an elliptic curve defined over a finite field. In each case an appropriate generator α will be used to define the public keys.

[0139] The protocols discussed above can also be modified in a straightforward way to handle the situation when each user picks their own system parameters p and a (or analogous parameters if a group other than Z*_(p); is used).

[0140] Further implementations are shown schematically in FIGS. 2 through 7. A different notation is utilized but it will be understood that this notation may be mapped to that of the previous embodiments.

[0141] Referring to FIG. 2, a mutual public key authenticated key agreement protocol is complemented between a correspondent A shown on the left hand side of the figure and a correspondent B shown on the right hand side. Correspondent A has a public-private key pair P_(A),S_(A) respectively and similarly correspondent B has a public private Key pair P_(B),S_(B).

[0142] As a first step, correspondent A generates a session private key as a random number RNDA and computes a corresponding public session key G_(A)=F_(A) (RND_(A)). The function F_(A) is a cryptographic one way function, typically an exponention by the group generator, such as a point multiplication in an elliptic curve cryptosystem.

[0143] The public session key G_(A) is forwarded to correspondent B who generates corresponding parameters of a session private key RND_(B) and the exponent G_(B).

[0144] The correspondent B computes a session key K as a function of A's public information G_(A),P_(A) AND B's private information RND_(B),S_(B). A corresponding key K′ can be computed by A using the private information of A and the public information of B namely f(RND_(A),G_(B),S_(A),P_(B)).

[0145] After correspondent B has generated the key K, he compiles a string (G_(A)//G_(B)//Id_(A)) where Id_(A) is a string that identifies A. The concatenated string is hashed with a cryptographic function h_(k) which is a keyed hash function that uses the key K to yield a string hash_(B).

[0146] The string hash_(B) is forwarded to correspondent A together with Id_(A) and G_(B).

[0147] Upon receipt of the message from B, correspondent A computes the key K′ as described above. Correspondent A also computes a hash, hashverify_(b) from the string (G_(B)//G_(A)//Id_(A)) using the hash function keyed by the key K′. correspondent A checks that the hashes verify to confirm the identity of the keys K,K′.

[0148] Correspondent A then computes a hash h_(K) using the key K on the string (G_(A)//G_(B)//Id_(B)) and forwards that together with Id_(B) correspondent B. Correspondent B similarly computes a hashverify_(A) using the keyed hash function h_(K) on the same string and verifies that hash_(A)=hashverify_(A).

[0149] A similar protocol is shown in FIG. 3 to implement a mutual symmetric key authentication protocol. In this protocol the correspondents share a key K obtained s over a secure channel. The correspondents A,B, each generate a random integer which is used as the session public key of A and B respectively. Thereafter the exchange of information and verification proceeds as above with respect to FIG. 2 with the shared secret key being utilised in the keyed hash functions.

[0150] A full mutual public key authenticated protocol is shown in FIG. 4. An initial exchange of the public keys P_(A),P_(B) is performed over an authenticated channel followed by the exchange of information as shown in the protocol of FIG. 4. In this case the correspondent A sends G_(A) computed as described above with respect to FIG. 2, together with a string x₂ that A wants confirmation of receipt by B. Correspondent B computes the key K as in FIG. 2 and also generates a pair of strings y₁,y₂ which B wants to have authenticated by A and receipt confirmed by A respectively. The strings are sent to A with the hash hash_(B) and identity Id_(A). The hash hash_(B) is performed on a string including the message x₂ and the string y₁ wants authenticated.

[0151] Correspondent A computes the key K and verifies the hash as before. This also confirms receipt of x₂ by B.

[0152] Correspondent A in turn generates strings z₁,z₂ where z₁ is a string that A wants authenticated by B and z₂ is a string that may be used in a subsequent stage of the protocol described below. The strings, z₁ and y₂ together with the identifying information of B, Id_(B), are included in the string that is hashed with the key K to provide the string hash_(A). this is sent together with the identitiy of B and the strings z₁,z₂ to the correspondent B who can verify the hashes as before, thereby confirming receipt of y₂ and authenticating z₁.

[0153] Thus the exchange of information is exchanged in an authenticated manner and a common key obtained that allows subsequent exchange of correspondence on a secure channel.

[0154] With the protocol described in FIG. 4 it is possible to implement a mutual public key authenticated key agreement protocol by letting the strings x₂,y₁,y₂,z₁,z₂ all be empty a strings. Alternatively, a mutual public key authenticated key agreement protocol with key transport can be implemented by using x₂ as a string that is assumed to represent E_(K)(k). Correspondent B can compute the value of K and hence retrieve the notional value of k from the string. He can use this as his CRP. The values of y₁ may be used to represent E_(K)(k₂₁) and z₁ as E_(K)(k₁₂) where k₂₁ and k₁₂ are different keys for communication or other secret information to be shared between the correspondents. In this case y₁ and z₂ are empty strings. In this way there is a key agreement on a shared key K_(AB) together with authenticated key transport of the keys h₂₁ and k₁₂ between the correspondents. Moreover, if additional information is provided in the x₂ and y₂ then confirmation of proper receipt is also obtained.

[0155] The protocol of FIG. 4 may also be used to increase efficiency in successive sessions by using the string z₂ to pass the information exchanged in the first pass of the next session. Thus as shown in FIG. 5, the string G_(A),x₂ is sent as z₂ in the previous session. The protocol then proceeds from correspondent B as before. Correspondent B may also take advantage of this facility by including the information G_(B),y₁ for the next session in the exchange as y₂.

[0156] The mutual public key authenticated key agreement protocol may also be adapted for symmetric key implementations as shown in FIG. 6. In this case, as in FIG. 3 above, the key generation is omitted as the correspondents have a shared key obtained over a secure channel. Similarly, the protocol of FIG. 6 may be modified as illustrated in FIG. 7 to take advantage of the exchange of information in a previous session, similar to that of FIG. 5.

[0157] It will be seen therefore that a number of versatile and flexible protocols can be developed from the general protocol to meet particular needs. These protocols may implement elliptic curve cryptography or operate in Z_(p) as preferred. 

We claim:
 1. A method of authenticating a pair of correspondents A,B to permit exchange of information therebetween, each of said correspondents having a s respective private key a,b and a public key p_(A),p_(B) derived from a generator a and respective ones of said private keys a,b, said method including the steps of i) a first of said correspondents A selecting a first random integer x and exponentiating a function f(a) including said generator to a power g^((x)) to provide a first exponentiated function f(α)^(g(x)); ii) said first correspondent A forwarding to a second correspondent B a message ii including said first exponentiated function f(α)^(g(x)); iii) said correspondent B selecting a second random integer y and exponentiating a function f(α) including said generator to a power g^((y)) to provide a second exponentiated function f(α)^(g(y)); iv) said second correspondent B constructing a session key K from information is made public by said first correspondent A and information that is private to said second correspondent B. said session key K also being constructible by said first correspondent A for information made public by B and information that is private to said first correspondent A; v) said second correspondent B generating a value h of a function F[δ,K] where F[δ,K] denotes a cryptographic function applied conjointly to δ and K and where δ is a subset of the public information provided by B thereby to bind the values of δ and K; vi) said second of said correspondents B forwarding a message to said first correspondent A including said second exponential function f(α)^(g(y)) and said value h of said cryptographic function F[δ,K]; vii) said first correspondent receiving said message and computing a session key K′ from information made public by said second correspondent B and private to said first correspondent A; viii) said first correspondent A computing a value h′ of a cryptographic function F[δ,K′]; and ix) comparing said values obtained from said cryptographic functions F to confirm their correspondence.
 2. A method of claim 1 wherein said message forwarded by said first correspondent includes an identification of the first correspondent.
 3. A method according to claim 1 wherein said message forwarded by said second correspondent includes an identification of said second correspondent.
 4. A method according to claim 3 wherein said message forwarded by said first correspondent includes an identification of the first correspondent.
 5. A method according to claim 1 wherein said first function f(α) including said generator is said generator itself.
 6. A method according to claim 1 wherein said second function f(α) including said generator is said generator itself.
 7. A method according to claim 6 wherein said first function f(α) including said generator is said generator itself.
 8. A method according to claim 1 wherein said first function including said generator f(α) includes said public key p_(B) of said second correspondent.
 9. A method according to claim 1 wherein said second function including said generator fα includes said public key p_(A) of said first correspondent.
 10. A method according to claim 1 wherein said cryptographic functions F are hashes of δ and K.
 11. A method of transporting a key between a pair of correspondents A,B to permit exchange of information therebetween, each of said correspondents having a respective private key ab and a public key p_(A),p_(B) derived from a generator a and respective ones of said private keys a,b, said method including the steps of i) a first of said correspondents A selecting a first random integer x and exponentiating a function f(α) including said generator to a power g^((x)) to provide a first exponentiated function f(α)^(g(x)); ii) said first correspondent A forwarding to a second correspondent B a message including said first exponentiated function f(α)^(g(x)); iii) said second correspondent B constructing a session key K from information made public by said first correspondent A and information that is private to said second correspondent B, said session key K also being constructible by said first correspondent A from information made public by B and information that is private to said first correspondent A; iv) both of said first correspondent A and said second correspondents B computing a respective value h,h′ of function F[δ,K] where F[δ,K] denotes a cryptographic function applied to δ and K and where δ is a subset of the public information provided by one of said correspondents; v) at least one of said correspondents comparing said values h,h′ obtained from said cryptographic function F to confirm their correspondence;
 12. A method of claim 11 wherein said message forwarded by said first correspondent includes an identification of the first correspondent.
 13. A method according to claim 11 wherein said message forwarded by said first correspondent includes said value obtained from said cryptographic function by said first correspondent.
 14. A method according to claim 11 wherein said values obtained from said cryptographic functions are obtained from a hash of said public information and said session key K.
 15. A method according to claim 11 wherein said first correspondent s selects a pair of random integers x and t and generates a session key K as f(α)^(g(t)), and generates a value r from said first exponentiated function f(α)^(g(x)) which includes a factor exponentiating said public key p_(B) of said second correspondent B with said random integer t to be of the form p_(B) ^(E(t)α) ^(g(x)).
 16. A method according to claim 15 wherein said first correspondent A generates a value S from a combination of said random integer x and said private key a and forwards said value of r and said value of s to said second correspondent B to permit said second correspondent B to recover said session key K using the private key b of said second correspondent B.
 17. A method according to claim 16 wherein said random integer x and said private key a are combined to produce s such that s=x−ra mod (p−1).
 18. A method according to claim 17 wherein said cryptographic function F is a hash of said public information δ and said session key K.
 19. A method according to claim 18 wherein said public information δ is the public key p_(A) of said first correspondent A. 